stone weierstrass generalization theorem